CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 11 of 11 Results
1.
Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS 2010, ...
Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS 2010, ... by Chatterjee, Krishnendu, Hen... ISBN: 9783642152962 List Price: $72.00
$51.31 (Save 28%)
2.
Computational Methods in Systems Biology : 11th International Conference, CMSB 2013, Kloster...
Computational Methods in Systems Biology : 11th International Conference, CMSB 2013, Kloster... by Gupta, Ashutosh, Henzinger,... ISBN: 9783642407079 List Price: $79.99
$52.33 (Save 34%)
3.
Computer Science Logic
Computer Science Logic by Duparc, Jacques, Henzinger,... ISBN: 9783540749141 List Price: $99.00
$101.14
4.
Handbook of Model Checking
Handbook of Model Checking by Clarke, Edmund M., Henzinge... ISBN: 9783319105741 List Price: $149.00

OUT OF STOCK

See Availability on Amazon
5.
Computer Aided Verification
Computer Aided Verification by Alur, Rajeev, Henzinger, Th... ISBN: 9783662206850 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Computational Methods in Systems Biology : 11th International Conference, Cmsb 2013, Kloster...
Computational Methods in Systems Biology : 11th International Conference, Cmsb 2013, Kloster... by Gupta, Ashutosh, Henzinger,... ISBN: 9783642407093 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Embedded Software
Embedded Software by Henzinger, Thomas A., Kirsc... ISBN: 9783662178027 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
8.
Hybrid Systems III
Hybrid Systems III by Alur, Rajeev, Henzinger, Th... ISBN: 9783662179673 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
9.
Hybrid Systems : Computation and Control: First International Workshop, Hscc'98, Berkeley, C...
Hybrid Systems : Computation and Control: First International Workshop, Hscc'98, Berkeley, C... by Henzinger, Thomas A., Sastr... ISBN: 9783662183311 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
10.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Sci...
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Sci... by Henzinger, Thomas ISBN: 9781450328869 List Price: $99.00

OUT OF STOCK

See Availability on Amazon
11.
Handbook of Model Checking
Handbook of Model Checking by Clarke, Edmund M., Henzinge... ISBN: 9783030132330 List Price: $149.00

OUT OF STOCK

See Availability on Amazon